[INFO] cloning repository https://github.com/raphaelrobert/maelstrom
[INFO] running `Command { std: "git" "-c" "credential.helper=" "-c" "credential.helper=/workspace/cargo-home/bin/git-credential-null" "clone" "--bare" "https://github.com/raphaelrobert/maelstrom" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fraphaelrobert%2Fmaelstrom", kill_on_drop: false }`
[INFO] [stderr] Cloning into bare repository '/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fraphaelrobert%2Fmaelstrom'...
[INFO] running `Command { std: "git" "rev-parse" "HEAD", kill_on_drop: false }`
[INFO] [stdout] 3cb64c096c6c98ef605efeed0bb4093cebf98937
[INFO] building raphaelrobert/maelstrom against master#ff34b919075f35a1787659e9c448a34b06bab8de for issue-85264
[INFO] running `Command { std: "git" "clone" "/workspace/cache/git-repos/https%3A%2F%2Fgithub.com%2Fraphaelrobert%2Fmaelstrom" "/workspace/builds/worker-6/source", kill_on_drop: false }`
[INFO] [stderr] Cloning into '/workspace/builds/worker-6/source'...
[INFO] [stderr] done.
[INFO] validating manifest of git repo https://github.com/raphaelrobert/maelstrom on toolchain ff34b919075f35a1787659e9c448a34b06bab8de
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] started tweaking git repo https://github.com/raphaelrobert/maelstrom
[INFO] finished tweaking git repo https://github.com/raphaelrobert/maelstrom
[INFO] tweaked toml for git repo https://github.com/raphaelrobert/maelstrom written to /workspace/builds/worker-6/source/Cargo.toml
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "generate-lockfile" "--manifest-path" "Cargo.toml" "-Zno-index-update", kill_on_drop: false }`
[INFO] [stderr]     Blocking waiting for file lock on package cache
[INFO] running `Command { std: "/workspace/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 50d4a67019c0ad5c7475eac3f6f3f034d3fb54ee68ab278c239c048189dc554f
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] running `Command { std: "docker" "start" "-a" "50d4a67019c0ad5c7475eac3f6f3f034d3fb54ee68ab278c239c048189dc554f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "50d4a67019c0ad5c7475eac3f6f3f034d3fb54ee68ab278c239c048189dc554f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "50d4a67019c0ad5c7475eac3f6f3f034d3fb54ee68ab278c239c048189dc554f", kill_on_drop: false }`
[INFO] [stdout] 50d4a67019c0ad5c7475eac3f6f3f034d3fb54ee68ab278c239c048189dc554f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-6/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:20528e8c29e4536546f0102ce88568b16ea7538393a33fcca951030f7af10457" "/opt/rustwide/cargo-home/bin/cargo" "+ff34b919075f35a1787659e9c448a34b06bab8de" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stderr] WARNING: Your kernel does not support swap limit capabilities or the cgroup is not mounted. Memory limited without swap.
[INFO] [stdout] e29fc5ea08a91ce96c3a4c02a813c1163bab541e1093aaa66d115ad1f659c38a
[INFO] running `Command { std: "docker" "start" "-a" "e29fc5ea08a91ce96c3a4c02a813c1163bab541e1093aaa66d115ad1f659c38a", kill_on_drop: false }`
[INFO] [stderr]    Compiling version_check v0.9.3
[INFO] [stderr]    Compiling proc-macro2 v1.0.27
[INFO] [stderr]    Compiling unicode-xid v0.2.2
[INFO] [stderr]    Compiling libc v0.2.95
[INFO] [stderr]    Compiling syn v1.0.72
[INFO] [stderr]    Compiling typenum v1.13.0
[INFO] [stderr]    Compiling memchr v2.4.0
[INFO] [stderr]    Compiling regex-syntax v0.6.25
[INFO] [stderr]    Compiling serde_derive v1.0.126
[INFO] [stderr]    Compiling bindgen v0.58.1
[INFO] [stderr]    Compiling opaque-debug v0.3.0
[INFO] [stderr]    Compiling shlex v1.0.0
[INFO] [stderr]    Compiling subtle v2.4.0
[INFO] [stderr]    Compiling ryu v1.0.5
[INFO] [stderr]    Compiling cpuid-bool v0.2.0
[INFO] [stderr]    Compiling ppv-lite86 v0.2.10
[INFO] [stderr]    Compiling serde_json v1.0.64
[INFO] [stderr]    Compiling itoa v0.4.7
[INFO] [stderr]    Compiling inventory v0.1.10
[INFO] [stderr]    Compiling erased-serde v0.3.15
[INFO] [stderr]    Compiling byteorder v1.4.3
[INFO] [stderr]    Compiling clang-sys v1.2.0
[INFO] [stderr]    Compiling libloading v0.7.0
[INFO] [stderr]    Compiling itertools v0.10.0
[INFO] [stderr]    Compiling generic-array v0.14.4
[INFO] [stderr]    Compiling nom v5.1.2
[INFO] [stderr]    Compiling quote v1.0.9
[INFO] [stderr]    Compiling aho-corasick v0.7.18
[INFO] [stderr]    Compiling atty v0.2.14
[INFO] [stderr]    Compiling getrandom v0.2.3
[INFO] [stderr]    Compiling which v3.1.1
[INFO] [stderr]    Compiling clap v2.33.3
[INFO] [stderr]    Compiling rand_core v0.6.2
[INFO] [stderr]    Compiling uuid v0.8.2
[INFO] [stderr]    Compiling rand_chacha v0.3.0
[INFO] [stderr]    Compiling rand v0.8.3
[INFO] [stderr]    Compiling cipher v0.2.5
[INFO] [stderr]    Compiling universal-hash v0.4.0
[INFO] [stderr]    Compiling aead v0.3.2
[INFO] [stderr]    Compiling polyval v0.4.5
[INFO] [stderr]    Compiling ghash v0.3.1
[INFO] [stderr]    Compiling aes-soft v0.6.4
[INFO] [stderr]    Compiling ctr v0.6.0
[INFO] [stderr]    Compiling aes v0.6.0
[INFO] [stderr]    Compiling aes-gcm v0.8.0
[INFO] [stderr]    Compiling regex v1.5.4
[INFO] [stderr]    Compiling cexpr v0.4.0
[INFO] [stderr]    Compiling env_logger v0.8.3
[INFO] [stderr]    Compiling inventory-impl v0.1.10
[INFO] [stderr]    Compiling ghost v0.1.2
[INFO] [stderr]    Compiling ctor v0.1.20
[INFO] [stderr]    Compiling tls-codec-derive v0.1.0 (/opt/rustwide/workdir/tls-codec-derive)
[INFO] [stderr]    Compiling typetag-impl v0.1.7
[INFO] [stderr]    Compiling test_macros v0.1.0 (/opt/rustwide/workdir/test_macros)
[INFO] [stderr]    Compiling evercrypt-sys v0.0.8
[INFO] [stderr]    Compiling serde v1.0.126
[INFO] [stderr]    Compiling typetag v0.1.7
[INFO] [stderr] error: failed to run custom build command for `evercrypt-sys v0.0.8`
[INFO] [stderr] 
[INFO] [stderr] Caused by:
[INFO] [stderr]   process didn't exit successfully: `/opt/rustwide/target/debug/build/evercrypt-sys-67aebb9e7f2d7b65/build-script-build` (exit status: 101)
[INFO] [stderr]   --- stdout
[INFO] [stderr]   cargo:rerun-if-changed=wrapper.h
[INFO] [stderr]   cargo:rerun-if-changed=hacl-star
[INFO] [stderr]   build_config: BuildConfig { hacl_src_dir: "gcc-compatible", cross: false, config_flags: [], make_flags: [], env: {}, lib_name: "evercrypt", windows: false }
[INFO] [stderr]   out_path: "/opt/rustwide/target/debug/build/evercrypt-sys-3dd4e3072b8776a9/out"
[INFO] [stderr]   hacl_src_path: "/opt/rustwide/target/debug/build/evercrypt-sys-3dd4e3072b8776a9/out/hacl-star/dist/gcc-compatible"
[INFO] [stderr]   ... detected x64 platform
[INFO] [stderr]   ...  supports compilation of 128-bit and 256-bit AVX/AVX2
[INFO] [stderr]   ...  supports vale
[INFO] [stderr]   ... not using known buggy Apple LLVM build
[INFO] [stderr]   ...  supports our inline ASM
[INFO] [stderr]   ... using a non-buggy GCC
[INFO] [stderr]    supports _addcarry_u64
[INFO] [stderr]   OCaml bindings disabled
[INFO] [stderr]   ... glibc is recent enough for explicit_bzero
[INFO] [stderr]   rm -rf *.o *.d libevercrypt.a
[INFO] [stderr]   cc    -c -o cpuid-x86_64-linux.o cpuid-x86_64-linux.S
[INFO] [stderr]   cc    -c -o sha256-x86_64-linux.o sha256-x86_64-linux.S
[INFO] [stderr]   cc    -c -o poly1305-x86_64-linux.o poly1305-x86_64-linux.S
[INFO] [stderr]   cc    -c -o curve25519-x86_64-linux.o curve25519-x86_64-linux.S
[INFO] [stderr]   cc    -c -o aes-x86_64-linux.o aes-x86_64-linux.S
[INFO] [stderr]   cc    -c -o aesgcm-x86_64-linux.o aesgcm-x86_64-linux.S
[INFO] [stderr]   cc    -c -o oldaesgcm-x86_64-linux.o oldaesgcm-x86_64-linux.S
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Spec.o Hacl_Spec.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Kremlib.o Hacl_Kremlib.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Blake2s_32.o Hacl_Blake2s_32.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Blake2b_32.o Hacl_Blake2b_32.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Hash.o Hacl_Hash.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Blake2b_256.o Hacl_Blake2b_256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Blake2s_128.o Hacl_Blake2s_128.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Vale.o Vale.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_AutoConfig2.o EverCrypt_AutoConfig2.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Hash.o EverCrypt_Hash.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_SHA3.o Hacl_SHA3.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Chacha20.o Hacl_Chacha20.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Salsa20.o Hacl_Salsa20.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum.o Hacl_Bignum.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Curve25519_64_Slow.o Hacl_Curve25519_64_Slow.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Curve25519_64.o Hacl_Curve25519_64.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Curve25519_51.o Hacl_Curve25519_51.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Ed25519.o Hacl_Ed25519.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Poly1305_32.o Hacl_Poly1305_32.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Poly1305_128.o Hacl_Poly1305_128.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Poly1305_256.o Hacl_Poly1305_256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_NaCl.o Hacl_NaCl.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o MerkleTree.o MerkleTree.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Error.o EverCrypt_Error.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_CTR.o EverCrypt_CTR.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_P256.o Hacl_P256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo_KEM.o Hacl_Frodo_KEM.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_RSAPSS.o Hacl_RSAPSS.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_FFDHE.o Hacl_FFDHE.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_Blake2.o Hacl_Streaming_Blake2.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Streaming_Blake2b_256.o Hacl_Streaming_Blake2b_256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_SHA2.o Hacl_Streaming_SHA2.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo640.o Hacl_Frodo640.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Streaming_Blake2s_128.o Hacl_Streaming_Blake2s_128.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Chacha20_Vec128.o Hacl_Chacha20_Vec128.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Chacha20Poly1305_128.o Hacl_Chacha20Poly1305_128.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HMAC.o Hacl_HMAC.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HKDF.o Hacl_HKDF.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP128_SHA512.o Hacl_HPKE_Curve51_CP128_SHA512.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_GenericField32.o Hacl_GenericField32.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum256.o Hacl_Bignum256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum4096.o Hacl_Bignum4096.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Chacha20_Vec32.o Hacl_Chacha20_Vec32.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Ed25519.o EverCrypt_Ed25519.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP128_SHA512.o Hacl_HPKE_Curve64_CP128_SHA512.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_P256_CP128_SHA256.o Hacl_HPKE_P256_CP128_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Chacha20_Vec256.o Hacl_Chacha20_Vec256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Chacha20Poly1305_256.o Hacl_Chacha20Poly1305_256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP256_SHA512.o Hacl_HPKE_Curve51_CP256_SHA512.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo976.o Hacl_Frodo976.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_HMAC_Blake2s_128.o Hacl_HMAC_Blake2s_128.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_HKDF_Blake2s_128.o Hacl_HKDF_Blake2s_128.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_GenericField64.o Hacl_GenericField64.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_Streaming_Poly1305_256.o Hacl_Streaming_Poly1305_256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo1344.o Hacl_Frodo1344.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP256_SHA512.o Hacl_HPKE_Curve64_CP256_SHA512.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx   -c -o Hacl_Streaming_Poly1305_128.o Hacl_Streaming_Poly1305_128.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum32.o Hacl_Bignum32.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP128_SHA256.o Hacl_HPKE_Curve51_CP128_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP128_SHA256.o Hacl_HPKE_Curve64_CP128_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Chacha20Poly1305_32.o Hacl_Chacha20Poly1305_32.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP32_SHA256.o Hacl_HPKE_Curve51_CP32_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP256_SHA256.o Hacl_HPKE_Curve64_CP256_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_Poly1305_32.o Hacl_Streaming_Poly1305_32.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP32_SHA512.o Hacl_HPKE_Curve51_CP32_SHA512.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_P256_CP256_SHA256.o Hacl_HPKE_P256_CP256_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_P256_CP32_SHA256.o Hacl_HPKE_P256_CP32_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Bignum64.o Hacl_Bignum64.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Frodo64.o Hacl_Frodo64.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_SHA1.o Hacl_Streaming_SHA1.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_Streaming_MD5.o Hacl_Streaming_MD5.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_HMAC_Blake2b_256.o Hacl_HMAC_Blake2b_256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3 -mavx -mavx2   -c -o Hacl_HKDF_Blake2b_256.o Hacl_HKDF_Blake2b_256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP32_SHA256.o Hacl_HPKE_Curve64_CP32_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve64_CP32_SHA512.o Hacl_HPKE_Curve64_CP32_SHA512.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_EC_Ed25519.o Hacl_EC_Ed25519.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HPKE_Curve51_CP256_SHA256.o Hacl_HPKE_Curve51_CP256_SHA256.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Chacha20Poly1305.o EverCrypt_Chacha20Poly1305.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_AEAD.o EverCrypt_AEAD.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_HMAC.o EverCrypt_HMAC.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_HKDF.o EverCrypt_HKDF.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o Hacl_HMAC_DRBG.o Hacl_HMAC_DRBG.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_DRBG.o EverCrypt_DRBG.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Poly1305.o EverCrypt_Poly1305.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Curve25519.o EverCrypt_Curve25519.c
[INFO] [stderr]   cc  -fPIC -I. -I ../kremlin/include -I ../kremlin/kremlib/dist/minimal -Wall -Wextra -Werror -std=c11 -Wno-unused-variable -Wno-unknown-warning-option -Wno-unused-but-set-variable -Wno-unused-parameter -Wno-infinite-recursion -g -fwrapv -D_BSD_SOURCE -D_DEFAULT_SOURCE -fPIC -Wno-unused -Wno-parentheses -Wno-deprecated-declarations -Wno-#warnings -Wno-error=cpp -Wno-cpp -g -std=gnu11 -O3   -c -o EverCrypt_Cipher.o EverCrypt_Cipher.c
[INFO] [stderr] 
[INFO] [stderr]   --- stderr
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20.o] Error 1
[INFO] [stderr]   make: *** Waiting for unfinished jobs....
[INFO] [stderr]   make: *** [<builtin>: Hacl_Curve25519_64.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_HMAC_Blake2s_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_CTR.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Blake2s_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Vale.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Blake2s_32.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Blake2b_256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Blake2b_32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Hash.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Spec.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Salsa20.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_NaCl.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Poly1305_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_AutoConfig2.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_Blake2s_128.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_SHA3.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Hash.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Curve25519_64_Slow.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Ed25519.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_SHA2.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum256.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Frodo640.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20_Vec128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_GenericField32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_Blake2.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Frodo976.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20Poly1305_256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_FFDHE.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_P256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Curve25519_51.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HKDF.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Error.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_HKDF.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP128_SHA512.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Poly1305_256.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_RSAPSS.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP128_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP32_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20_Vec32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Poly1305_32.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20Poly1305_128.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_Blake2b_256.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP32_SHA512.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_Frodo_KEM.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_GenericField64.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Bignum4096.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Ed25519.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_EC_Ed25519.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HMAC_DRBG.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Chacha20_Vec256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: MerkleTree.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_P256_CP256_SHA256.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_HKDF_Blake2s_128.o] Error 1
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve51_CP256_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve64_CP128_SHA512.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_P256_CP128_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: EverCrypt_Poly1305.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_HPKE_Curve64_CP32_SHA256.o] Error 1
[INFO] [stderr]   cc: fatal error: Killed signal terminated program cc1
[INFO] [stderr]   compilation terminated.
[INFO] [stderr]   make: *** [<builtin>: Hacl_Streaming_SHA1.o] Error 1
[INFO] [stderr]   thread 'main' panicked at 'Failed to run make.', /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/evercrypt-sys-0.0.8/build.rs:65:9
[INFO] [stderr]   stack backtrace:
[INFO] [stderr]      0:     0x561bb28c0550 - std::backtrace_rs::backtrace::libunwind::trace::hdcf4f90f85129e83
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/../../backtrace/src/backtrace/libunwind.rs:90:5
[INFO] [stderr]      1:     0x561bb28c0550 - std::backtrace_rs::backtrace::trace_unsynchronized::h2669e30cb82f6732
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/../../backtrace/src/backtrace/mod.rs:66:5
[INFO] [stderr]      2:     0x561bb28c0550 - std::sys_common::backtrace::_print_fmt::hfbda19e17f6db318
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/sys_common/backtrace.rs:67:5
[INFO] [stderr]      3:     0x561bb28c0550 - <std::sys_common::backtrace::_print::DisplayBacktrace as core::fmt::Display>::fmt::h1a8751bf59281272
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/sys_common/backtrace.rs:46:22
[INFO] [stderr]      4:     0x561bb28e59bf - core::fmt::write::h7aa6cd0067dca82a
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/core/src/fmt/mod.rs:1094:17
[INFO] [stderr]      5:     0x561bb28bd3e5 - std::io::Write::write_fmt::hd7dd3a1df9b6befb
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/io/mod.rs:1584:15
[INFO] [stderr]      6:     0x561bb28c2a1b - std::sys_common::backtrace::_print::h551e9ec8a9fa8106
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/sys_common/backtrace.rs:49:5
[INFO] [stderr]      7:     0x561bb28c2a1b - std::sys_common::backtrace::print::ha4b1c5e95fa040b3
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/sys_common/backtrace.rs:36:9
[INFO] [stderr]      8:     0x561bb28c2a1b - std::panicking::default_hook::{{closure}}::h0b34c9ab7fb9f857
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/panicking.rs:208:50
[INFO] [stderr]      9:     0x561bb28c24fd - std::panicking::default_hook::h3067e8318decd17a
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/panicking.rs:225:9
[INFO] [stderr]     10:     0x561bb28c2fcd - std::panicking::rust_panic_with_hook::h81b8facc50f34daa
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/panicking.rs:591:17
[INFO] [stderr]     11:     0x561bb2890393 - std::panicking::begin_panic::{{closure}}::hbaadbe1006dbfa64
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/panicking.rs:520:9
[INFO] [stderr]     12:     0x561bb2894e49 - std::sys_common::backtrace::__rust_end_short_backtrace::h04a920f7f202013a
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/sys_common/backtrace.rs:141:18
[INFO] [stderr]     13:     0x561bb28902c9 - std::panicking::begin_panic::hdca433ba5d2ad88f
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/panicking.rs:519:12
[INFO] [stderr]     14:     0x561bb237b45b - build_script_build::build_hacl::had8ec7f1d9dcc30b
[INFO] [stderr]                                  at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/evercrypt-sys-0.0.8/build.rs:65:9
[INFO] [stderr]     15:     0x561bb237e139 - build_script_build::main::he96a4e3544a0eeda
[INFO] [stderr]                                  at /opt/rustwide/cargo-home/registry/src/github.com-1ecc6299db9ec823/evercrypt-sys-0.0.8/build.rs:350:9
[INFO] [stderr]     16:     0x561bb237f5cb - core::ops::function::FnOnce::call_once::h0795baaca450da32
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/core/src/ops/function.rs:227:5
[INFO] [stderr]     17:     0x561bb238122e - std::sys_common::backtrace::__rust_begin_short_backtrace::hdee95d783de576ec
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/sys_common/backtrace.rs:125:18
[INFO] [stderr]     18:     0x561bb237e8d1 - std::rt::lang_start::{{closure}}::h63c8730a7c21441b
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/rt.rs:49:18
[INFO] [stderr]     19:     0x561bb28c34ca - core::ops::function::impls::<impl core::ops::function::FnOnce<A> for &F>::call_once::h3b8c329143d7638a
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/core/src/ops/function.rs:259:13
[INFO] [stderr]     20:     0x561bb28c34ca - std::panicking::try::do_call::h4b72c261b4eefc1b
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/panicking.rs:379:40
[INFO] [stderr]     21:     0x561bb28c34ca - std::panicking::try::h703d31b7896cbd49
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/panicking.rs:343:19
[INFO] [stderr]     22:     0x561bb28c34ca - std::panic::catch_unwind::h37cad9b35388a915
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/panic.rs:431:14
[INFO] [stderr]     23:     0x561bb28c34ca - std::rt::lang_start_internal::hab5a8a909af4f90e
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/rt.rs:34:21
[INFO] [stderr]     24:     0x561bb237e8b0 - std::rt::lang_start::h3c1ba10dde09efe1
[INFO] [stderr]                                  at /rustc/ff34b919075f35a1787659e9c448a34b06bab8de/library/std/src/rt.rs:48:5
[INFO] [stderr]     25:     0x561bb237e87c - main
[INFO] [stderr]     26:     0x7ff2092ac0b3 - __libc_start_main
[INFO] [stderr]     27:     0x561bb237906e - _start
[INFO] [stderr]     28:                0x0 - <unknown>
[INFO] running `Command { std: "docker" "inspect" "e29fc5ea08a91ce96c3a4c02a813c1163bab541e1093aaa66d115ad1f659c38a", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "e29fc5ea08a91ce96c3a4c02a813c1163bab541e1093aaa66d115ad1f659c38a", kill_on_drop: false }`
[INFO] [stdout] e29fc5ea08a91ce96c3a4c02a813c1163bab541e1093aaa66d115ad1f659c38a
